Distributive nearlattices with a necessity modal operator
نویسندگان
چکیده
منابع مشابه
Hilbert algebras with a necessity modal operator
Received 12 December 2013 1991 Mathematics Subject Classification: 03G25; 06D05
متن کاملDistributive Lattices with a Negation Operator
In this note we introduce and study algebras ( L , V, A, 1, 0,l) of type (2,2,1,1,1) such that ( L , V, A, 0 , l ) is a bounded distributive lattice and -,is an operator that satisfies the conditions -,(a V b ) = -,a A -,b and -0 = 1. We develop the topological duality between these algebras and Priestley spaces with a relation. In addition, we characterize the congruences and the subalgebras o...
متن کاملA Sahlqvist theorem for distributive modal logic
In this paper we consider distributive modal logic, a setting in which we may add modalities, such as classical types of modalities as well as weak forms of negation, to the fragment of classical propositional logic given by conjunction, disjunction, true, and false. For these logics we define both algebraic semantics, in the form of distributive modal algebras, and relational semantics, in the...
متن کاملProbability as a Modal Operator
This paper argues for a modal view of probability. The syntax and semantics of one particularly strong probability logic are discussed and some examples of the use of the logic are provided. We show that it is both natural and useful to think of probability as a modal operator. Contrary to popular belief in AI, a probability ranging between 0 and 1 represents a continuum between impossibility a...
متن کاملNatural Deduction for Modal Logic with a Backtracking Operator
Harold Hodes in [1] introduces an extension of rst-order modal logic featuring a backtracking operator, and provides a possible worlds semantics, according to which the operator is a kind of device for ‘world travel’; he does not provide a proof theory. In this paper, I provide a natural deduction system for modal logic featuring this operator, and argue that the system can be motivated in ter...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Mathematica Slovaca
سال: 2019
ISSN: 1337-2211,0139-9918
DOI: 10.1515/ms-2017-0201